Hybrid logic - PDFSEARCH.IO - Document Search Engine

Hybrid logic
Results: 87

#	Item
31	HES-DVM™ HW/SW Validation Platform Hybrid Verification Platform HES-DVMTM is a Hybrid Verification and Validation Platform for Hardware and Software developers of SoC and ASIC designs up to 144M ASIC gates. Utilizing Add to Reading List Source URL: www.aldec.com Language: English - Date: 2015-02-02 17:14:32 Hardware verification languages Aldec Logic design Hardware emulation Hardware description languages Field-programmable gate array Joint Test Action Group Mentor Graphics Application-specific integrated circuit Electronic engineering Electronic design automation Digital electronics
32	Artificial Intelligence–145 www.elsevier.com/locate/artint Book review R. Dechter, Constraint Processing, Morgan Kaufmann, 2003. Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-09-08 14:26:39 Computing Constraint satisfaction Local consistency Constraint logic programming Constraint optimization Mathematical optimization Search algorithm AC-3 Hybrid algorithm Constraint programming Software engineering Computer programming
33	R E ACT ! An Interactive Tool for Hybrid Planning in Robotics Zeynep Dogmus, Volkan Patoglu and Esra Erdem Faculty of Engineering and Natural Sciences, Sabancı University, ˙Istanbul, Turkey Email: {zeynepdogmus,vpatogl Add to Reading List Source URL: faculty.cua.edu Language: English - Date: 2015-05-26 14:10:44 Logic programming Automated planning and scheduling Formal methods Reasoning Action description language Answer set programming Action language Algorithm Boolean satisfiability problem Theoretical computer science Applied mathematics Artificial intelligence
34	What Gives? A Hybrid Algorithm for Error Trace Explanation Vijayaraghavan Murali1 , Nishant Sinha2 , Emina Torlak3 , and Satish Chandra4 1 NUS, Singapore Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:59 Video signal Mathematics PP Algorithm Unsatisfiable core Mathematical logic Interpolation Video
35	The Hybrid Invention Generator — Assorted Relations Bill Seaman Gideon May — programmer Funded by Intel Description of the Hybrid Invention Generator A computer-based language system exploring hybrid invention genera Add to Reading List Source URL: projects.visualstudies.duke.edu Language: English - Date: 2007-12-24 00:13:32 Theoretical computer science Models of computation Abstraction Axiology Logic Invention Computer Turing machine Electric generator Science British people Mathematics
36	International Journal of Hybrid Information Technology Vol. 5, No. 3, July, 2012 Fuzzy Candlestick Approach to Trade S&P CNX NIFTY 50 Index using Engulfing Patterns Partha Roy1, Sanjay Sharma2 and M. K. Kowar3 Add to Reading List Source URL: fbemoodle.emu.edu.tr Language: English - Date: 2014-03-09 10:26:32 Candlestick chart Fuzzy control system Candlestick pattern Technical analysis Membership function Fuzzy rule Candlestick Morning star Fuzzy logic Logic Financial economics
37	A Hybrid Constraint Programming / Local Search Approach to the Job-Shop Scheduling Problem Jean-Paul Watson1 and J. Christopher Beck2 1 2 Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2008-06-13 08:20:22 Mathematical optimization Algorithm Mathematical logic Theoretical computer science Science Job shop scheduling Tabu search Guided Local Search Search algorithm Operations research Mathematics Applied mathematics
38	A Type-based Analysis of Causality Loops in Hybrid Systems Modelers ∗ Albert Benveniste Add to Reading List Source URL: zelus.di.ens.fr Language: English - Date: 2014-02-04 14:54:08 Derivative Differential calculus Control theory Analysis Signal processing Combinatory logic LTI system theory Mathematical analysis Mathematics Functions and mappings
39	Divide and Recycle: Types and Compilation for a Hybrid Synchronous Language ∗ Albert Benveniste Timothy Bourke Benoˆıt Caillaud Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2015-04-17 12:15:00 Combinatory logic Discretization Derivative State space Group action Mathematics Mathematical analysis Control theory
40	The Fundamentals of Hybrid Systems Modelers Albert Benveniste, INRIA-Rennes Campus de BeaulieuRennes cedex, France Benoît Caillaud, INRIA-Rennes Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2015-04-17 12:15:00 Theoretical computer science Denotational semantics Logic in computer science Dynamical system Continuous function State space Itō diffusion Mathematical analysis Mathematics Control theory

UPDATE